Name | Format | # Pages | Size | Date |
---|---|---|---|---|
stern.doc | Texinfo Document | 28.0 KB | 1988-12-01 | |
stern1.dem | Texinfo Document | 7.4 KB | 1988-12-20 | |
stern2.dem | Texinfo Document | 488 b | 1988-12-20 |
Name | Format | # Lines | Size | Date |
---|---|---|---|---|
00_index.txt | File List | 6 | 51 b | 1995-04-19 |
00_TRANS.TBL | Text File | 7 | 286 b | 1995-05-02 |
stern.am | Text File | 49 | 2.2 KB | 1988-12-04 |
stern.cmm | Text File | 511 | 23.4 KB | 1991-12-08 |